1.1.1.10. core.uninitialized.Branch (C)
Check for uninitialized values used as branch conditions.

Examples:

void test() {
  int x;
  if (x) // warn
    return;
}